Stichworte: detect unrecorded retirements